Skip to content

Add functionality to set the selected db item#1839

Merged
charisk merged 4 commits intomainfrom
charisk/set-selected-db-item
Dec 6, 2022
Merged

Add functionality to set the selected db item#1839
charisk merged 4 commits intomainfrom
charisk/set-selected-db-item

Conversation

@charisk
Copy link
Copy Markdown
Contributor

@charisk charisk commented Dec 6, 2022

Implements functionality to allow setting the selected db item. This is not used yet - it will be used by the UI action.

Checklist

N/A:

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

@charisk charisk added the secexp label Dec 6, 2022
@charisk charisk force-pushed the charisk/set-selected-db-item branch from ff74e4b to 3a6f95c Compare December 6, 2022 11:08
@charisk charisk marked this pull request as ready for review December 6, 2022 11:58
@charisk charisk requested a review from a team as a code owner December 6, 2022 11:58
Copy link
Copy Markdown
Contributor

@shati-patel shati-patel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good from my point of view! Annoying that the original test you wrote was flaky, but I'm happy for this to go in as-is. (Not sure how else to test 🤔 )

Comment thread extensions/ql-vscode/src/databases/config/db-config-store.ts Outdated
Comment thread extensions/ql-vscode/src/databases/db-item-selection.ts
Co-authored-by: Shati Patel <42641846+shati-patel@users.noreply.github.com>
@charisk charisk enabled auto-merge (squash) December 6, 2022 15:03
@charisk charisk merged commit a5fcfe7 into main Dec 6, 2022
@charisk charisk deleted the charisk/set-selected-db-item branch December 6, 2022 15:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants